Telescope with a wide field of view internal optical scanner

A telescope with internal scanner utilizing either a single optical wedge scanner or a dual optical wedge scanner and a controller arranged to control a synchronous rotation of the first and/or second optical wedges, the wedges constructed and arranged to scan light redirected by topological surfaces and/or volumetric scatterers. The telescope with internal scanner further incorporates a first converging optical element that receives the redirected light and transmits the redirected light to the scanner, and a second converging optical element within the light path between the first optical element and the scanner arranged to reduce an area of impact on the scanner of the beam collected by the first optical element

Statically Checking Web API Requests in JavaScript

Many JavaScript applications perform HTTP requests to web APIs, relying on the request URL, HTTP method, and request data to be constructed correctly by string operations. Traditional compile-time error checking, such as calling a non-existent method in Java, are not available for checking whether such requests comply with the requirements of a web API. In this paper, we propose an approach to statically check web API requests in JavaScript. Our approach first extracts a request's URL string, HTTP method, and the corresponding request data using an inter-procedural string analysis, and then checks whether the request conforms to given web API specifications. We evaluated our approach by checking whether web API requests in JavaScript files mined from GitHub are consistent or inconsistent with publicly available API specifications. From the 6575 requests in scope, our approach determined whether the request's URL and HTTP method was consistent or inconsistent with web API specifications with a precision of 96.0%. Our approach also correctly determined whether extracted request data was consistent or inconsistent with the data requirements with a precision of 87.9% for payload data and 99.9% for query data. In a systematic analysis of the inconsistent cases, we found that many of them were due to errors in the client code. The here proposed checker can be integrated with code editors or with continuous integration tools to warn programmers about code containing potentially erroneous requests.Comment: International Conference on Software Engineering, 201

Opportunities in Software Engineering Research for Web API Consumption

Nowadays, invoking third party code increasingly involves calling web services via their web APIs, as opposed to the more traditional scenario of downloading a library and invoking the library's API. However, there are also new challenges for developers calling these web APIs. In this paper, we highlight a broad set of these challenges and argue for resulting opportunities for software engineering research to support developers in consuming web APIs. We outline two specific research threads in this context: (1) web API specification curation, which enables us to know the signatures of web APIs, and (2) static analysis that is capable of extracting URLs, HTTP methods etc. of web API calls. Furthermore, we present new work on how we combine (1) and (2) to provide IDE support for application developers consuming web APIs. As web APIs are used broadly, research in supporting the consumption of web APIs offers exciting opportunities.Comment: Erik Wittern and Annie Ying are both first author

Transcription Factor NFAT5 Promotes Glioblastoma Cell-driven Angiogenesis via SBF2-AS1/miR-338-3p-Mediated EGFL7 Expression Change

Glioblastoma (GBM) is the most aggressive primary intracranial tumor of adults and confers a poor prognosis due to high vascularization. Hence anti-angiogenic therapy has become a promising strategy for GBM treatment. In this study, the transcription factor nuclear factor of activated T-cells 5 (NFAT5) was significantly elevated in glioma samples and GBM cell lines, and positively correlated with glioma WHO grades. Knockdown of NFAT5 inhibited GBM cell-driven angiogenesis. Furthermore, long non-coding RNA SBF2 antisense RNA 1 (SBF2-AS1) was upregulated in glioma samples and knockdown of SBF2-AS1 impaired GBM-induced angiogenesis. Downregulation of NFAT5 decreased SBF2-AS1 expression at transcriptional level. In addition, knockdown of SBF2-AS1 repressed GBM cell-driven angiogenesis via enhancing the inhibitory effect of miR-338-3p on EGF like domain multiple 7 (EGFL7). In vivo study demonstrated that the combination of NFAT5 knockdown and SBF2-AS1 knockdown produced the smallest xenograft volume and the lowest microvessel density. NFAT5/SBF2-AS1/miR-338-3p/EGFL7 pathway may provide novel targets for glioma anti-angiogenic treatment

Slippery for scaling resistance in membrane distillation: a novel porous micropillared superhydrophobic surface

Scaling in membrane distillation (MD) is a key issue in desalination of concentrated saline water, where the interface property between the membrane and the feed become critical. In this paper, a slippery mechanism was explored as an innovative concept to understand the scaling behavior in membrane distillation for a soluble salt, NaCl. The investigation was based on a novel design of a superhydrophobic polyvinylidene fluoride (PVDF) membrane with micro-pillar arrays (MP-PVDF) using a micromolding phase separation (μPS) method. The membrane showed a contact angle of 166.0 ± 2.3° and the sliding angle of 15.8 ± 3.3°. After CF4 plasma treatment, the resultant membrane (CF4-MP-PVDF) showed a reduced sliding angle of 3.0o. In direct contact membrane distillation (DCMD), the CF4-MP-PVDF membrane illustrated excellent anti-scaling in concentrating saturated NaCl feed. Characterization of the used membranes showed that aggregation of NaCl crystals occurred on the control PVDF and MP-PVDF membranes, but not on the CF4-MP-PVDF membrane. To understand this phenomenon, a “slippery” theory was introduced and correlated the sliding angle to the slippery surface of CF4-MP-PVDF and its anti-scaling property. This work proposed a well-defined physical and theoretical platform for investigating scaling problems in membrane distillation and beyond